41![A Program Logic for Verifying Secure Routing Protocols Chen Chen1 , Limin Jia2 , Hao Xu1 , Cheng Luo1 , Wenchao Zhou3 , and Boon Thau Loo1 1 A Program Logic for Verifying Secure Routing Protocols Chen Chen1 , Limin Jia2 , Hao Xu1 , Cheng Luo1 , Wenchao Zhou3 , and Boon Thau Loo1 1](https://www.pdfsearch.io/img/5a09924cc9ce025f5297bc0ba0b72778.jpg) | Add to Reading ListSource URL: www.andrew.cmu.eduLanguage: English - Date: 2016-01-24 20:37:43
|
---|
42![A simpler proof for O(congestion + dilation) packet routing Thomas Rothvoß Department of Mathematics, MIT IPCO 2013 A simpler proof for O(congestion + dilation) packet routing Thomas Rothvoß Department of Mathematics, MIT IPCO 2013](https://www.pdfsearch.io/img/40eceba1d39868ae5c118ef110ac662b.jpg) | Add to Reading ListSource URL: www.math.washington.eduLanguage: English - Date: 2013-11-01 17:11:36
|
---|
43![1 Donald E. Eastlake 3rd Co-Chair, IETF TRILL Working Group , + 1 Donald E. Eastlake 3rd Co-Chair, IETF TRILL Working Group , +](https://www.pdfsearch.io/img/8bbe4dea83945c103fb7c35bb29b67c1.jpg) | Add to Reading ListSource URL: www.nanog.orgLanguage: English - Date: 2010-10-03 14:17:38
|
---|
44![Fast Control Plane Analysis Using an Abstract Representation Aaron Gember-Jacobson∗◦ , Raajay Viswanathan∗◦ , Aditya Akella◦ , Ratul Mahajan† ◦ University of Wisconsin-Madison, † Microsoft Research Fast Control Plane Analysis Using an Abstract Representation Aaron Gember-Jacobson∗◦ , Raajay Viswanathan∗◦ , Aditya Akella◦ , Ratul Mahajan† ◦ University of Wisconsin-Madison, † Microsoft Research](https://www.pdfsearch.io/img/cbb3cd367a7e312c559a3746cc02ca59.jpg) | Add to Reading ListSource URL: pages.cs.wisc.eduLanguage: English - Date: 2016-07-25 15:03:50
|
---|
45![Where IT perceptions are reality Test Report OCe14000 Performance Featuring Where IT perceptions are reality Test Report OCe14000 Performance Featuring](https://www.pdfsearch.io/img/00e53d948dacb820e86758fda7f95176.jpg) | Add to Reading ListSource URL: www.itbrandpulse.comLanguage: English - Date: 2015-02-22 11:33:28
|
---|
46![traIXroute: Detecting IXPs in traceroute paths George Nomikos and Xenofontas Dimitropoulos Foundation of Research and Technology Hellas (FORTH), Greece {gnomikos,fontas}@ics.forth.gr Abstract. Internet eXchange Points ( traIXroute: Detecting IXPs in traceroute paths George Nomikos and Xenofontas Dimitropoulos Foundation of Research and Technology Hellas (FORTH), Greece {gnomikos,fontas}@ics.forth.gr Abstract. Internet eXchange Points (](https://www.pdfsearch.io/img/81e643040727f823a01d8f16e486f4a8.jpg) | Add to Reading ListSource URL: inspire.edu.grLanguage: English - Date: 2016-04-22 07:03:13
|
---|
47![Internet Topology Comparing different approaches of inferring AS relationships Beatrice Huber Master Thesis September 15, 2003 – March 14, 2004 Internet Topology Comparing different approaches of inferring AS relationships Beatrice Huber Master Thesis September 15, 2003 – March 14, 2004](https://www.pdfsearch.io/img/da778d54da1257f0fc9dc2c7a6ab642b.jpg) | Add to Reading ListSource URL: disco.ethz.chLanguage: English - Date: 2014-09-26 08:37:13
|
---|
48![Losing Control of the Internet: Using the Data Plane to Attack the Control Plane Max Schuchard University of Minnesota schuch @ cs.umn.edu Losing Control of the Internet: Using the Data Plane to Attack the Control Plane Max Schuchard University of Minnesota schuch @ cs.umn.edu](https://www.pdfsearch.io/img/e2df8570eb93e232e33a234a61b9ebbe.jpg) | Add to Reading ListSource URL: randombits.ioLanguage: English - Date: 2015-06-29 10:17:03
|
---|
49![Keith Douglas Statistics Canada1 Title: “Prolegomena to any Future Metaphysics of Networking” Abstract: The hierarchical nature of both Mario Bunge’s metaphysics and the OSI model of co Keith Douglas Statistics Canada1 Title: “Prolegomena to any Future Metaphysics of Networking” Abstract: The hierarchical nature of both Mario Bunge’s metaphysics and the OSI model of co](https://www.pdfsearch.io/img/cf4fd180c5fc7e951a84ce60ec599d1d.jpg) | Add to Reading ListSource URL: philosopher-animal.comLanguage: English - Date: 2009-06-21 11:50:57
|
---|
50![1 Coordination-free Safety Messages Dissemination Protocol for Vehicular Network Sangho Oh, Student Member, IEEE, Marco Gruteser, Member, IEEE, Dario Pompili, Member, IEEE 1 Coordination-free Safety Messages Dissemination Protocol for Vehicular Network Sangho Oh, Student Member, IEEE, Marco Gruteser, Member, IEEE, Dario Pompili, Member, IEEE](https://www.pdfsearch.io/img/bb16e70ff4523be98b907bbafd8614b2.jpg) | Add to Reading ListSource URL: www.winlab.rutgers.eduLanguage: English - Date: 2012-04-23 12:53:20
|
---|